and Computation - PDFSEARCH.IO - Document Search Engine

and Computation
Results: 3364

#	Item
331	Gossip-Based Computation of Aggregate Information David Kempe∗, Alin Dobra, and Johannes Gehrke† Department of Computer Science, Cornell University Ithaca, NY 14853, USA {kempe,dobra,johannes}@cs.cornell.edu Abstract Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2007-10-12 00:29:55 Graph theory Computing Mathematics Distributed data storage Stochastic processes Network theory Networks Chord Gossip protocol Rope Random walk Maximal independent set
332	Mathematics for Computer Science Eric Lehman and Tom Leighton 2004 2 Add to Reading List Source URL: www.cs.princeton.edu Language: English - Date: 2006-08-23 14:28:28 Mathematics Graph theory Discrete mathematics NP-complete problems Graph coloring Algebra Recurrence relation Theory of computation Number theory Algorithm Independent set Mathematical induction
333	Table of Contents Formula Prediction using Genetic Algorithms / 1 Namir Aldawoodi and Rafael Perez Add to Reading List Source URL: www.sigevo.org Language: English - Date: 2013-10-03 16:18:17 Mathematical optimization Applied mathematics Evolutionary algorithms Cybernetics Numerical analysis Genetic algorithms Artificial intelligence Operations research Evolutionary computation Genetic programming Fitness function Global optimization
334	Uniqueness Typing Redefined Edsko de Vries?1 , Rinus Plasmeijer2 , and David M Abrahamson1 1 2 Trinity College Dublin, Ireland, {devriese,david}@cs.tcd.ie Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-23 03:13:56 Theoretical computer science Mathematical logic Logic Lambda calculus Models of computation Computability theory Let expression Symbol Substitution Type system Security type system
335	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri
336	! An Agent-Based Approach to Modeling Membrane Formation Bryan Head, Kai Orton, Uri Wilensky Center for Connected Learning and Computer-Based Modeling Add to Reading List Source URL: ccl.northwestern.edu Language: English - Date: 2016-05-03 12:24:06 Academia Systems science Membrane biology Biology Systems theory Scientific modeling Models of computation Organelles Cell membrane Agent-based model Biological membrane Scientific modelling
337	An Eﬃcient Parallel Repetition Theorem Johan H˚ astad1 , Rafael Pass2, Douglas Wikstr¨ om3 , and Krzysztof Pietrzak4 1 KTH, Stockholm, supported by ERC grant Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:53:38 Computational complexity theory Cryptography Theory of computation Probabilistic complexity theory IP Zero-knowledge proof Soundness PP Entropy NP Randomized algorithm Interactive proof system
338	Approximating the Size of a Radio Network in Beeping Model Philipp Brandes1 , Marcin Kardas2 , Marek Klonowski2 , Dominik Pająk2 , and Roger Wattenhofer1 ? 1 2 Add to Reading List Source URL: www.tik.ee.ethz.ch Language: English - Date: 2016-07-19 07:32:17 Computational complexity theory Analysis of algorithms Theory of computation Mathematics Probability theory Mathematical notation Leader election Randomized algorithm Big O in probability notation Time complexity -net
339	RANDOMIZATION AND COMPUTATION IN STRATEGIC SETTINGS A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES Add to Reading List Source URL: www-bcf.usc.edu Language: English - Date: 2011-08-30 21:00:54 Game theory Mechanism design Decision theory Gaming Auction theory Mathematics Auctions Operations research Incentive compatibility Combinatorial auction VickreyClarkeGroves auction Algorithm
340	577 Documenta Math. Computation of p-Adic Heights and Log Convergence In celebration of John Coates’ 60th birthday Add to Reading List Source URL: documenta.sagemath.org Language: English - Date: 2006-11-24 17:49:13 Mathematics Abstract algebra Algebra Field theory Modular forms Algebraic geometry Valuation P-adic modular form Constructible universe P-adic number P-adic L-function Elliptic curve

UPDATE